Modeling of Dynamic Spatial Processes

Modeling Dynamic Processes in TLA

The formal development method of VSE (Veriication Support Environment) for state-based systems is based on a variant of TLA. VSE supports structured speciications, modular reenements, and also modular proofs. There are applications where one wants (or has) to consider an indeenite number of processes or even processes that are created and deleted dynamically. The general problem that arises in ...

Dynamic Spatial Modelling of Regional Convergence Processes

Econometric analysis of convergence processes across countries or regions usually refers to a transition period between an arbitrary chosen starting year and a fictitious steady state. Panel unit root tests and panel cointegration techniques have proved to belong to powerful econometric tools if the conditions are met. When referring to economically defined regions, though, it is rather an exce...

Modeling and Prediction of Nonstationary Spatial Processes

Dynamic modeling of product development processes

Successful development projects are critical to success in many industries. To improve project performance managers must understand the dynamic concurrence relationships that constrain the sequencing of tasks as well as the effects of and interactions with resources (such as labor), project scope and targets (such as delivery dates). This paper describes a multiple phase project model which exp...

Dynamic Data-Driven Modeling of Pharmaceutical Processes

In many pharmaceutical process operations, first-principle models describing the behavior of the processed powders are difficult to derive or computationally very expensive and thus can be considered as “black-box” processes. Kriging is an efficient data-driven methodology that has been shown previously to predict steady-state operation of black-box processes while providing error estimates for...